Invariant based programming: basic approach and teaching experiences

Teaching the Construction of Correct Programs Using Invariant Based Programming

In most computer science curricula, formal reasoning about program correctness is taught separately from practical programming, and is thus by most students considered a purely theoretical activity. It has been a challenge to convince students of the practical applicability of formal methods. We present here an effort to apply Invariant Based Programming (IBP), a visual and practical program co...

A Problem Based Approach to Teaching Programming

Java Programming Laboratory (JPL) is a cloud based learning environment used for teaching object-oriented programming at Griffith University, Australia. JPL incorporates a number of features found in other successful programming learning environments and builds upon them with a range of innovative features. JPL provides a database that tracks individual students’ successes and progression throu...

Teaching Basic Programming Concepts using Python

Improving retention and performance for CS majors with a weak background is crucial to increase the number of CS students. A CS0 course is designed to serve these students and desirably to recruit non CS majors before they take a rigorous first object programming class. A visual approach using 3-D animation and multimedia objects such as pictures and sounds in CS0 on different students groups i...

Invariant Based Programming Revisited

Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verification an alternative to or a complement to testing. We study here an another approach to program construction, which we refer to as invariant based programming, where we start by formulating the specifications and t...

Invariant Based Programming